Un linguaggio per esprimere transizioni

I linguaggi di specifica del comportamento di agenti, e più in generale di sistemi reattivi, spesso utilizzano notazioni grafiche per esprimere le configurazioni significative dello stato dell’agente e le trasformazioni ammissibili di tali configurazioni. L’espressione dei due aspetti può essere delegata a diversi tipi di diagrammi, o venire incorporata in un unico diagramma. Inoltre, si possono sviluppare diagrammi comportamentali per diverse componenti del sistema, eventualmente impiegando diagrammi di tipo diverso per ogni sottosistema. A un livello astratto, tutti questi diagrammi esprimono qualche forma di trasformazione del sistema, che può essere caratterizzata esprimendone le pree post-condizioni, e una politica di esecuzione delle trasformazioni. In questo lavoro, proponiamo un approccio uniforme alla gestione di transizioni, indipendente dalla notazione diagrammatica adottata, e che può essere usata per stabilire corrispondenze tra modifiche della rappresentazione visuale e trasformazioni del modello sottostante.